Consistency results about ordinal definability
نویسندگان
چکیده
منابع مشابه
Consistency in ordinal data analysis
In general, objective functions are applied in data analysis in order to compute optimal reductions of an observed set of data. In the social sciences data often have a non-euclidean (non-metric) structure. Therefore, independently of any particular field of data analysis as, for instance, cluster analysis, factor analysis, linear regression, multidimensional scaling objective functions will be...
متن کاملOn the Consistency of Ordinal Regression Methods
Many of the ordinal regression algorithms that have been proposed can be viewed as methods that minimize a convex surrogate of the zeroone, absolute, or squared errors. We provide a theoretical analysis of the risk consistency properties of a rich family of surrogate loss functions, including proportional odds and support vector ordinal regression. For all the surrogates considered, we either p...
متن کاملReasoning about Spatial Consistency
The consistency of spatial descriptions is relevant to tasks ranging from navigation to architecture. In contrast to studies of deduction in which a conclusion is drawn from premises, there have been only a few investigations into how human reasoners decide whether or not a description is consistent. We report results corroborating the theory that reasoners make such judgments usually relying o...
متن کاملIntegrating Reasoning About Ordinal Arithmetic into ACL2
Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on the ordinals for reasoning about termination in a general purpose programming language. We have incorporated our work into the ACL2 theorem proving system, thereby greatly extending its ability to automatically reason about termin...
متن کاملThe ordinal consistency of an incomplete reciprocal preference relation
The ordinal consistency is the usual weak transitivity condition that a logical and consistent person should use if he/she does not want to express inconsistent opinions, and therefore becomes the minimum requirement condition that a consistent reciprocal preference relation should verify. In this paper, we define and study the ordinal consistency of an incomplete reciprocal preference relation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1971
ISSN: 0003-4843
DOI: 10.1016/0003-4843(71)90005-2